全文获取类型
收费全文 | 1487篇 |
免费 | 510篇 |
国内免费 | 160篇 |
出版年
2024年 | 2篇 |
2023年 | 18篇 |
2022年 | 19篇 |
2021年 | 31篇 |
2020年 | 37篇 |
2019年 | 34篇 |
2018年 | 24篇 |
2017年 | 72篇 |
2016年 | 116篇 |
2015年 | 69篇 |
2014年 | 130篇 |
2013年 | 116篇 |
2012年 | 136篇 |
2011年 | 107篇 |
2010年 | 90篇 |
2009年 | 133篇 |
2008年 | 93篇 |
2007年 | 117篇 |
2006年 | 142篇 |
2005年 | 122篇 |
2004年 | 95篇 |
2003年 | 85篇 |
2002年 | 57篇 |
2001年 | 59篇 |
2000年 | 33篇 |
1999年 | 46篇 |
1998年 | 33篇 |
1997年 | 30篇 |
1996年 | 20篇 |
1995年 | 16篇 |
1994年 | 11篇 |
1993年 | 12篇 |
1992年 | 15篇 |
1991年 | 14篇 |
1990年 | 17篇 |
1989年 | 5篇 |
1987年 | 1篇 |
排序方式: 共有2157条查询结果,搜索用时 15 毫秒
51.
随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性. 相似文献
52.
53.
针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模. 相似文献
54.
55.
计算机网络日益复杂和异构化,迫切需要提高可靠、跨平台的网络管理系统保证网络稳定、高效运行。分析了传统网络管理系统的不足,提出了一层次分布式网络管理系统故障管理算法,并讨论了算法的性能。最后采用CORBA,Web和Java技术实现了该算法。 相似文献
56.
采用高阶精度WCNS格式和γ-Reθ转捩模型对VFE-2中等半径钝前缘三角翼进行了数值模拟,重点研究了前缘转捩对钝前缘三角翼涡结构的影响。计算结果与试验进行了详细对比,表明钝前缘三角翼的前缘分离涡发生在翼尖下游,在特定雷诺数下其具体发生位置受转捩因素影响,采用全湍流模型计算会推迟分离,而耦合转捩模型后的计算结果和试验吻合很好。然后基于耦合转捩模型方法,对钝前缘三角翼涡结构随迎角变化进行了模拟。计算结果与试验吻合,并表明在较小的迎角下,前缘不会产生分离诱导涡;随迎角不断增大,分离诱导涡在三角翼后缘附近产生并向上游移动。 相似文献
57.
58.
在高精度数值风洞平台上,采用低速平板试验数据对基于高精度WCNS格式的γ-Reθ转捩模型进行了标定,并在二维低速问题中进行了应用。计算结果与试验的对比表明,基于高精度WCNS格式的γ-Reθ转捩模型可准确模拟自然转捩、旁路转捩及分离转捩的位置,并且具有较低的网格敏感性。同时也表明在中等雷诺数范围,层流区域长度和湍流区域有相同量级时,计算必须采用转捩模型才能准确模拟阻力系数。 相似文献
59.
提出了一种基于生成模型的人体行为识别方法。选取关键点轨迹的方向-大小描述符、轨迹形状描述符、外观描述符作为人体行为的特征;为了降低人体行为特征维数,利用信息瓶颈算法进行词表压缩;利用生成模型,结合已标记样本和未标记样本提出了一种人体行为识别的半监督学习方法,解决了行为识别中的小样本问题。在YouTube 数据库、 UCF运动数据库上利用提出的方法与已有的方法进行了对比实验,结果表明该方法具有更高的识别精度。 相似文献
60.
反舰导弹纯方位发射捕捉概率计算方法 总被引:8,自引:0,他引:8
反舰导弹的纯方位发射对目标信息要求不高,在目标信息的探测越来越艰难的今天,是反舰导弹较为重要的一种发射方式,也将会成为未来海战场上常用的作战方式.介绍了反舰导弹捕捉概率的计算方法和传统纯方位发射的捕捉概率的计算方法,并从分析反舰导弹捕捉概率的计算模型和影响因素出发,指出传统的反舰导弹纯方位发射的捕捉概率计算模型存在不足,并给出了修正后的计算模型. 相似文献